Continuous time markov chains and embedded DTMC's